The ultrafilter characterization of huge cardinals
نویسندگان
چکیده
منابع مشابه
The Ultrafilter Number for Singular Cardinals
We prove the consistency of a singular cardinal λ with small value of the ultrafilter number uλ, and arbitrarily large value of 2 . 2000 Mathematics Subject Classification. 03E05, 03E55.
متن کاملThe large cardinals between supercompact and almost-huge
I analyze the hierarchy of large cardinals between a supercompact cardinal and an almost-huge cardinal. Many of these cardinals are defined by modifying the definition of a high-jump cardinal. A high-jump cardinal is defined as the critical point of an elementary embedding j : V → M such that M is closed under sequences of length sup{ j(f)(κ) | f : κ→ κ }. Some of the other cardinals analyzed i...
متن کاملSaturated ideals obtained via restricted iterated collapse of huge cardinals
A uniform method to define a (restricted iterated) forcing notion to collapse a huge cardinal to a small one to obtain models with various types of highly saturated ideals over small cardinals is presented. The method is discussed in great technical details in the first chapter, while in the second chapter the application of the method is shown on three different models: Model I with an א1-comp...
متن کاملLaver Sequences for Extendible and Super-Almost-Huge Cardinals
Versions of Laver sequences are known to exist for supercompact and strong cardinals. Assuming very strong axioms of infinity, Laver sequences can be constructed for virtually any globally defined large cardinal not weaker than a strong cardinal; indeed, under strong hypotheses, Laver sequences can be constructed for virtually any regular class of embeddings. We show here that if there is a reg...
متن کاملThe Ultrafilter Closure in ZF
It is well known that, in a topological space, the open sets can be characterized using filter convergence. In ZF (Zermelo-Fraenkel set theory without the Axiom of Choice), we cannot replace filters by ultrafilters. It is proven that the ultrafilter convergence determines the open sets for every topological space if and only if the Ultrafilter Theorem holds. More, we can also prove that the Ult...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1984
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1984-0733411-6